Nuprl Definition : pe-state
11,40
postcript
pdf
pe-state(
p
) == (discrete state when pe-e(
p
))
latex
clarification:
pe-state(
p
) == es-dstate-when(pe-es(
p
);pe-e(
p
))
latex
Definitions
(discrete state when
e
)
,
pe-es(
e
)
,
pe-e(
p
)
FDL editor aliases
pe-state
origin